The following pages link to (Q3518425):
Displaying 50 items.
- Paraconsistent logic (Q266659) (← links)
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- A regress objection to Thagard's theory of deductive coherence (Q320169) (← links)
- Paraconsistent vagueness: a positive argument (Q408334) (← links)
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Tolerant, classical, strict (Q427233) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- A linguistic multi-criteria decision making approach based on logical reasoning (Q498110) (← links)
- On modal Meinongianism (Q513946) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Monotonic and non-monotonic embeddings of Anselm's proof (Q523299) (← links)
- First-order da Costa logic (Q631523) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- Tolerance and mixed consequence in the S'valuationist setting (Q692200) (← links)
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Logical predictivism (Q830365) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Towards the logic of projective identification (Q898773) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- Williamson on counterpossibles (Q1670493) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Impossible worlds and the logic of imagination (Q1707216) (← links)
- Fusion and confusion (Q1708463) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
- There is more to negation than modality (Q1749806) (← links)
- Pure modal logic of names and tableau systems (Q1756600) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Prioritised ceteris paribus logic for counterfactual reasoning (Q1989965) (← links)
- Disquotation and infinite conjunctions (Q1990931) (← links)
- Some new thoughts on conditionals (Q1992015) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- On negation for non-classical set theories (Q2037302) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Observations on the trivial world (Q2051134) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Did Descartes make a diagonal argument? (Q2121477) (← links)
- Murphree's numerical term logic tableaux (Q2133434) (← links)
