The following pages link to (Q3884093):
Displaying 46 items.
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- On logics with coimplication (Q1272827) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- B-frame duality (Q2689804) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Priest on Negation (Q3305669) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Information Quanta and Approximation Operators: Once More Around the Track (Q3600306) (← links)
- The Procedures for Belief Revision (Q3600572) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- (Q4625704) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- A ``Distributive'' or a ``Collective'' Approach to Sentences? (Q5215507) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- Subtractive logic (Q5940919) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
