A deductive-reductive form of logic: General theory and intuitionistic case

DOI10.12775/LLP.2002.004zbMath1028.03011MaRDI QIDQ4803958

Piotr Łukowski

Publication date: 9 April 2003

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicsdeductive-reductive form of logicreductive counterpart of deductive logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ The Procedures for Belief Revision ⋮ A ``Distributive or a ``Collective Approach to Sentences? ⋮ Falsification-aware semantics and sequent calculi for classical logic

This page was built for publication: A deductive-reductive form of logic: General theory and intuitionistic case