Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation

DOI10.1080/11663081.2024.2313315MaRDI QIDQ6117325

Juan C. Agudelo-Agudelo

Publication date: 20 March 2024

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

zbMATH Keywords

algebraic semanticstopological semanticstwist structure semanticsunilateralisationWansing's bi-intuitionistic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction for dual-intuitionistic logic
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume I
• Applications of Kripke models to Heyting-Brouwer logic
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Dual-intuitionistic logic
• A survey of abstract algebraic logic
• Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings
• A formalization of the propositional calculus of H-B logic
• Falsification, natural deduction and bi-intuitionistic logic
• Categorical Proof Theory of Co-Intuitionistic Linear Logic
• N-lattices and constructive logic with strong negation
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Algebraizable logics
• The Logic of Contradiction
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• Constructible falsity

This page was built for publication: Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation