Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
From MaRDI portal
Publication:6117325
DOI10.1080/11663081.2024.2313315MaRDI QIDQ6117325
Publication date: 20 March 2024
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
algebraic semanticstopological semanticstwist structure semanticsunilateralisationWansing's bi-intuitionistic logic
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