Pages that link to "Item:Q1777640"
From MaRDI portal
The following pages link to Handbook of philosophical logic. Vol. 6 (Q1777640):
Displaying 50 items.
- What is relevance logic? (Q392272) (← links)
- Quantum-like logics and schizophrenia (Q420845) (← links)
- A new approach to classical relevance (Q497418) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- Handbook of philosophical logic. Vol. 8 (Q703304) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A relevant logic of questions (Q829829) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- An informational view of classical logic (Q897935) (← links)
- The premiss-based approach to judgment aggregation (Q969119) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Handbook of philosophical logic. Volume II: Extensions of classical logic (Q1062045) (← links)
- Handbook of philosophical logic. Vol. 10 (Q1422469) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- Paraconsistent fuzzy logic preserving non-falsity (Q1697334) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Handbook of philosophical logic. Vol. 5 (Q1777639) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- A general relational semantics of propositional logic: axiomatization (Q2148780) (← links)
- Situated epistemic updates (Q2148833) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- Probabilities with gaps and gluts (Q2240549) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- The Story of $$\gamma $$ γ (Q3305422) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
