scientific article; zbMATH DE number 3689368
From MaRDI portal
Publication:3884093
Cited in
(55)- On logics with coimplication
- Sequent systems for negative modalities
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- A more general general proof theory
- Reprint of: ``A more general general proof theory
- Anti-intuitionism and paraconsistency
- Expressing discrete spatial relations under granularity
- Constraint tableaux for two-dimensional fuzzy logics
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- A connection-based characterization of bi-intuitionistic validity
- Hennessy-Milner properties via topological compactness
- B-frame duality
- Dualized simple type theory
- On split negation, strong negation, information, falsification, and verification
- Priest on negation
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Information Quanta and Approximation Operators: Once More Around the Track
- The Procedures for Belief Revision
- Deep Inference in Bi-intuitionistic Logic
- A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
- Sahlqvist via translation
- On displaying negative modalities
- Algorithmic correspondence for intuitionistic modal mu-calculus
- The semi Heyting-Brouwer logic
- Equality and Apartness in Bi-intuitinistic Logic
- A connection-based characterization of bi-intuitionistic validity
- On the methodology of paraconsistent logic
- A ``distributive or a ``collective approach to sentences?
- The evil twin: the basics of complement-toposes
- Bi-intuitionistic implication structures
- LK, LJ, dual intuitionistic logic, and quantum logic
- Subtractive logic
- The pleasures of anticipation: Enriching intuitionistic logic
- Decidable variables for constructive logics
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Qualitative reasoning in a two-layered framework
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics
- A note on synonymy in proof-theoretic semantics
- Gödel-Dummett linear temporal logic
- Symmetric and conflated intuitionistic logics
- Bi-connexive logic, bilateralism, and negation inconsistency
- Profinite bi-Heyting algebras
- Dual counterpart intuitionistic logic
- Intuitionistic epistemic logic with two modal operators
- Completeness of first-order bi-intuitionistic logic
- Taking bi-intuitionistic logic first-order: a proof-theoretic investigation via polytree sequents
- Strong negation is definable in 2Int
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Negation in the context of gaggle theory
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3884093)
