| Publication | Date of Publication | Type |
|---|
Generalized tableau systems for intermediate propositional logics
Lecture Notes in Computer Science | 2019-01-15 | Paper |
On Uniformly Constructive and Semiconstructive Formal Systems
Logic Journal of the IGPL | 2003-10-16 | Paper |
Extracting information from intermediate semiconstructive HA-systems -- extended abstract
MSCS. Mathematical Structures in Computer Science | 2001-10-10 | Paper |
On canonicity and strong completeness conditions in intermediate propositional logics
Studia Logica | 2001-03-19 | Paper |
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Logic Journal of the IGPL | 2000-06-14 | Paper |
scientific article; zbMATH DE number 1361525 (Why is no real title available?)
| 2000-06-14 | Paper |
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
Logic Journal of the IGPL | 2000-01-30 | Paper |
scientific article; zbMATH DE number 1337628 (Why is no real title available?)
| 1999-09-21 | Paper |
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
Logic Journal of the IGPL | 1997-11-05 | Paper |
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property
Mathematical Logic Quarterly | 1997-09-29 | Paper |
On maximal intermediate predicate constructive logics
Studia Logica | 1997-01-16 | Paper |
A method to single out maximal propositional logics with the disjunction property. I
Annals of Pure and Applied Logic | 1996-01-16 | Paper |
A method to single out maximal propositional logics with the disjunction property. II
Annals of Pure and Applied Logic | 1995-12-05 | Paper |
An improved refutation system for intuitionistic predicate logic
Journal of Automated Reasoning | 1995-02-22 | Paper |
Abstract parametric classes and abstract data types defined by classical and constructive logical methods
Journal of Symbolic Computation | 1995-01-11 | Paper |
Counting the maximal intermediate constructive logics
Journal of Symbolic Logic | 1994-09-01 | Paper |
An infinite class of maximal intermediate propositional logics with the disjunction property
Archive for Mathematical Logic | 1993-09-01 | Paper |
scientific article; zbMATH DE number 16881 (Why is no real title available?)
| 1992-06-26 | Paper |
Some results on intermediate constructive logics
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
A constructivism based on classical truth
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4145878 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4089536 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3841217 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3821724 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3806973 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3742599 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3759536 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3497327 (Why is no real title available?)
| 1975-01-01 | Paper |
