The following pages link to (Q4686539):
Displaying 24 items.
- De Morgan clones and four-valued logics (Q829759) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- What Is Negation in a System 2020? (Q5020169) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- Comments on the Papers (Q5020174) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)
- A postulate-driven study of logical argumentation (Q6136108) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
