Result 1 to 20 from 67 total
Delimited control operators prove double-negation shift. (English)
Ann. Pure Appl. Logic 163, No. 11, 1549-1559 (2012).
1
A note on admissible rules and the disjunction property in intermediate logics. (English)
Arch. Math. Logic 51, No. 1-2, 1-14 (2012).
2
Disjunction property and complexity of substructural logics. (English)
Theor. Comput. Sci. 412, No. 31, 3992-4006 (2011).
3
Knowability principle and disjunction property. (English)
Log. Anal., Nouv. Sér. 53, No. 209, 9-23 (2010).
4
Hypersequent calculi for intuitionistic logic with classical atoms. (English)
Ann. Pure Appl. Logic 161, No. 3, 427-446 (2009).
5
Logics with disjunction and proof by cases. (English)
Arch. Math. Logic 47, No. 5, 435-446 (2008).
6
Metamathematical properties of intuitionistic set theories with choice principles. (English)
Cooper, S. Barry (ed.) et al., New computational paradigms. Changing conceptions of what is computable. New York, NY: Springer (ISBN 978-0-387-36033-1/hbk). 287-312 (2008).
7
An algebraic approach to the disjunction property of substructural logics. (English)
Notre Dame J. Formal Logic 48, No. 4, 489-495 (2007).
8
A finite model property for RMI$_{\min}$. (English)
Math. Log. Q. 52, No. 6, 602-612 (2006).
9
The disjunction and related properties for constructive Zermelo-Fraenkel set theory. (English)
J. Symb. Log. 70, No. 4, 1233-1254 (2005).
10
Maximality and refutability. (English)
Notre Dame J. Formal Logic 45, No. 2, 65-72 (2004).
11
The disjunction property in the class of paraconsistent extensions of minimal logic. (Russian ;English)
Algebra Logika 43, No. 2, 235-252 (2004); translation in Algebra Logic 43, No. 2, 132-141 (2004).
12
Functional interpretation and the existence property. (English)
Math. Log. Q. 50, No. 6, 573-576 (2004).
13
On a problem of H. Friedman and its solution by T. Prucnal. (English)
Rep. Math. Logic 38, 69-86 (2004).
14
A secondary semantics for second order intuitionistic propositional logic. (English)
Math. Log. Q. 50, No. 2, 202-210 (2004).
15
On uniformly constructive and semiconstructive formal systems. (English)
Log. J. IGPL 11, No.1, 1-49 (2003).
16
A general approach to multi-agent minimal knowledge: With tools and samples. (English)
Stud. Log. 72, No.1, 61-84 (2002).
17
A(nother) characterization of intuitionistic propositional logic. (English)
Ann. Pure Appl. Logic 113, No.1-3, 161-173 (2002).
18
Algebraic counterparts for some properties of superintuitionistic predicate logics. (Russian ;English)
Algebra Logika 40, No.2, 218-242 (2001); translation in Algebra Logic 40, No.2, 122-134 (2001).
19
On the computational content of intuitionistic propositional proofs. (English)
Ann. Pure Appl. Logic 109, No.1-2, 49-64 (2001).
20
Result 1 to 20 from 67 total
Start
Contact
Print
General Help
