Computations in fragments of intuitionistic propositional logic

DOI10.1007/BF01880328zbMath0743.03007MaRDI QIDQ1181713

Lex Hendriks, Gerard R. Renardel de Lavalette, Dick H. J. de Jongh

Publication date: 27 June 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoningintuitionistic propositional logicexact modelfragmentfinite diagrams

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (6)

Free algebras corresponding to multiplicative classical linear logic and some of its extensions ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Free equivalential algebras ⋮ Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

Cites Work

• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Interpolation in fragments of intuitionistic propositional logic
• On formulas of one variable in intuitionistic propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computations in fragments of intuitionistic propositional logic