Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part I (original) (raw)
Related papers
The completeness of intuitionistic propositional calculus for its intended interpretation
Notre Dame Journal of Formal Logic, 1981
On some intuitionistic modal logics
Publications of the Research Institute for Mathematical Sciences, 1977
Implicational formulas in intuitionistic logic
The Journal of Symbolic Logic, Vol. 39, 661-664, 1974
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Studia Logica, 1985
Remarks on Intuitionistic Modal Logics
ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
A short note on intuitionistic propositional logic with multiple conclusions
Manuscrito, 2005
Epistemic and intuitionistic formal systems
Annals of Pure and Applied Logic, 1986
Intuitionistic Propositional Logic with the Converse Ackermann Property1,2
Teorema, 2003
Set Theory INC # Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I
2021
Apal, 2002
Intuitionistic implication without disjunction
Renardel de Lavalette, Dick Jongh
Journal of Logic and Computation, 2012
On a modal logic of intuitionistic admissibility
Properties of Intuitionistic Provability and Preservativity Logics
Logic Journal of IGPL, 2005
Intuitionistic Logic Considered As An Extension of Classical Logic: Some Critical Remarks
appeared in _Philosophia Scientiae_ 5 (2001), 2, pp. 27-50
An Investigation into Intuitionistic Logic with Identity
Bulletin of the Section of Logic, 2019
On Proof Realization of Intuitionistic Logic
1997
Metalogic of Intuitionistic Propositional Calculus
Notre Dame Journal of Formal Logic, 2010
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples
Reports Math. Log., 2006
On the admissible rules of intuitionistic propositional logic
Journal of Symbolic Logic, 2001
On modal and intuitionistic logics
Metascience, 2014
An Intuitionistic Characterization of Classical Logic
Annals of Pure and Applied Logic - APAL, 2002
Journal of Logic and Computation, 2020
On sequent calculi for intuitionistic propositional logic
2006
Intuitionistic necessity revisited
1996
The basic intuitionistic logic of proofs
2007
On an intuitionistic modal logic
2000
INTUITIONISTIC EPISTEMIC LOGIC
Computations in fragments of intuitionistic propositional logic
Renardel de Lavalette, Dick Jongh
Journal of Automated Reasoning, 1991
Extendible Formulas in Two Variables in Intuitionistic Logic
Studia Logica, 2012