Intuitionistic logic with strong negation

DOI10.1007/BF02121114zbMath0366.02015MaRDI QIDQ1241438

Yuri Gurevich

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

03C99: Model theory

03B55: Intermediate logics

Related Items

Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond, DYNAMIC NEGATION AND NEGATIVE INFORMATION, A variant of Thomason's first-order logic CF based on situations, The pleasures of anticipation: Enriching intuitionistic logic, A first order nonmonotonic extension of constructive logic, Equilibrium logic, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Informational interpretation of substructural propositional logics, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, Semantics-based nonmonotonic inference, Partial up an down logic, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, SEQUENT CALCULI FOR SOME TRILATTICE LOGICS, Constructive negation, implication, and co-implication, Natural deduction systems for Nelson's paraconsistent logic and its neighbors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• N-lattices and constructive logic with strong negation
• A semantical study of constructible falsity
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Constructible falsity