| Publication | Date of Publication | Type |
|---|
Arrow-Sen theory simplified
(available as arXiv preprint) | N/A | Paper |
| Vetoing: social, logical and mathematical aspects | 2024-09-20 | Paper |
| On Boolean reliability algebra | 2023-07-24 | Paper |
A note on the system GRW with the intensional contraction rule
Logic Journal of the IGPL | 2022-01-05 | Paper |
An alternative normalization of the implicative fragment of classical logic
Studia Logica | 2015-07-02 | Paper |
A cut-free sequent calculus for relevant logic RW
Logic Journal of the IGPL | 2015-02-12 | Paper |
| scientific article; zbMATH DE number 5840915 (Why is no real title available?) | 2011-01-25 | Paper |
| scientific article; zbMATH DE number 2047331 (Why is no real title available?) | 2004-02-26 | Paper |
On fuzzification of propositional logics
Fuzzy Sets and Systems | 2001-05-10 | Paper |
| scientific article; zbMATH DE number 1505462 (Why is no real title available?) | 2000-09-13 | Paper |
Validity Measurement in Some Propositional Logics
Mathematical Logic Quarterly | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 834562 (Why is no real title available?) | 1996-07-16 | Paper |
| scientific article; zbMATH DE number 851275 (Why is no real title available?) | 1996-03-05 | Paper |
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
Mathematical Logic Quarterly | 1994-07-11 | Paper |
| scientific article; zbMATH DE number 427403 (Why is no real title available?) | 1993-10-06 | Paper |
| scientific article; zbMATH DE number 4210104 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4170862 (Why is no real title available?) | 1990-01-01 | Paper |
A note on sequent calculi intermediate between LJ and LK
Studia Logica | 1988-01-01 | Paper |
On certain normalizable natural deduction formulations of some propositional intermediate logics
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
A cut-free Gentzen-type system for the logic of the weak law of excluded middle
Studia Logica | 1986-01-01 | Paper |
On sequence-conclusion natural deduction systems
Journal of Philosophical Logic | 1985-01-01 | Paper |
On Some Subsystems of Dummett's LC
Mathematical Logic Quarterly | 1985-01-01 | Paper |
A note on some intermediate propositional calculi
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3882409 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3885877 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3851084 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3784880 (Why is no real title available?) | 1981-01-01 | Paper |
