The following pages link to Logic Journal of the IGPL (Q3061274):
Displayed 50 items.
- Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (Q3061275) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195) (← links)
- Formalizing Concurrent Common Knowledge as Product of Modal Logics (Q3378197) (← links)
- Data, Schema, Ontology and Logic Integration (Q3378198) (← links)
- On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates (Q3378199) (← links)
- Volume I: Recovery operators in logics of formal inconsistency (Q3386887) (← links)
- Recovery operators, paraconsistency and duality (Q3386888) (← links)
- Normality operators and classical recapture in many-valued logic (Q3386889) (← links)
- From logics of formal inconsistency to logics of formal classicality (Q3386890) (← links)
- Theories of truth based on four-valued infectious logics (Q3386891) (← links)
- Embracing intensionality: Paradoxicality and semi-truth operators in fixed point models (Q3386893) (← links)
- Truth in a Logic of Formal Inconsistency: How classical can it get? (Q3386894) (← links)
- ${LFIs}$ and methods of classical recapture (Q3386895) (← links)
- Enthymematic classical recapture 1 (Q3386896) (← links)
- Subvaluationism and classical recapture (Q3386897) (← links)
- Volume II: New advances in Logics of Formal Inconsistency (Q3386898) (← links)
- Paraconsistency, self-extensionality, modality (Q3386899) (← links)
- A note on logics of essence and accident (Q3386900) (← links)
- Society semantics for four-valued Łukasiewicz logic (Q3386902) (← links)
- The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization (Q3386903) (← links)
- A game theoretical semantics for a logic of formal inconsistency (Q3386905) (← links)
- Introducing consistency in a dialogical framework for paraconsistent logic (Q3386906) (← links)
- Non-involutive twist-structures (Q3386908) (← links)
- On the logic that preserves degrees of truth associated to involutive Stone algebras (Q3386910) (← links)
- Non-deterministic algebraization of logics by swap structures1 (Q3386911) (← links)
- Fraïssé’s theorem for logics of formal inconsistency (Q3386912) (← links)
- Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish) (Q3386913) (← links)
- Natural deduction and semantic models of justification logic in the proof assistant Coq (Q3386915) (← links)
- The complexity of definability by open first-order formulas (Q3386916) (← links)
- On a Weak Conditional (Q3386917) (← links)
- A bottom-up algorithm for solving ♯2SAT (Q3386918) (← links)
- Cn algebras with Moisil possibility operators (Q3386919) (← links)
- Interactive proof-search for equational reasoning (Q3386920) (← links)
- Why the Axiom of Choice Sometimes Fails (Q3386921) (← links)
- An axiomatic approach to <b>CG</b>′3 logic (Q3386922) (← links)
- When Curry met Abel (Q3386924) (← links)
- Multimodal Abduction: External Semiotic Anchors and Hybrid Representations (Q3411838) (← links)
- Abduction with Dialogical and Trialogical Means (Q3411841) (← links)
- Projectual Abduction (Q3411843) (← links)
- Towards Operational Abduction from a Cognitive Perspective (Q3411845) (← links)
- Abducing Abduction (Q3411847) (← links)
- Advice on Abductive Logic (Q3411848) (← links)
- A Formal Logic for Abductive Reasoning (Q3411849) (← links)
- Surviving Abduction (Q3411850) (← links)
- Gestalt Effects in Counterfactual and Abductive Inference (Q3411851) (← links)
- Belief Revision Controlled by Meta-abduction (Q3411853) (← links)
- Towards Abductive Reasoning in First-order Logic (Q3411854) (← links)
- Model-Baded Abduction via Dual Resolution (Q3411856) (← links)
- Abductive Reasoning and Linguistic Meaning (Q3411858) (← links)