Pages that link to "Item:Q1310268"
From MaRDI portal
The following pages link to The logic of information structures (Q1310268):
Displaying 50 items.
- Bunched sequential information (Q266883) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Informational semantics as a third alternative? (Q488328) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Semantics-based nonmonotonic inference (Q1903578) (← links)
- Partial up an down logic (Q1903583) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Iterated team semantics for a hierarchy of informational types (Q2172830) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- Connexive Conditional Logic. Part I (Q3387894) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)