The following pages link to (Q4289329):
Displayed 40 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Possible worlds in use (Q647416) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- A generic framework for adaptive vague logics (Q1005967) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Periodicity of negation (Q1409308) (← links)
- Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models (Q1642751) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- A three-valued Fregean quantification logic (Q2421522) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- The Infinite-Valued Łukasiewicz Logic and Probability (Q4608554) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- (Q5013887) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- <i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>* (Q5275766) (← links)
- Vagueness and Roughness (Q5505444) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- Conservative translations (Q5935991) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- Sequent-type rejection systems for finite-valued non-deterministic logics (Q6080581) (← links)
- Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)