Compositional meaning in logic
DOI10.1007/s11787-017-0177-0zbMath1420.03006OpenAlexW2744560916MaRDI QIDQ1682292
Publication date: 29 November 2017
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/compositional-meaning-in-logic(9a8f8ff0-9fe8-497e-84b5-e4d7894ae4b7).html
Modal logic (including the logic of norms) (03B45) Collections of articles of miscellaneous specific interest (00B15) Cut-elimination and normal-form theorems (03F05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Negative modalities, consistency and determinedness
- Abstract valuation semantics
- Proof theory for locally finite many-valued logics: semi-projective logics
- Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms
- Efficient reasoning with inconsistent information using C-systems
- Truth and falsehood. An inquiry into generalized logical values
- Uniform proofs of standard completeness for extensions of first-order MTL
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Theory of logical calculi. Basic theory of consequence operations
- Matrix approach in methodology of sentential calculi
- Many-dimensional modal logics: theory and applications
- What is negation?
- A cut-free calculus for second-order Gödel logic
- A graded approach to database repair by context-aware distance semantics
- Self-extensional three-valued paraconsistent logics
- Modal multilattice logic
- Sequent systems for negative modalities
- Locally tabular \(\neq \) locally finite
- A note on two's company: ``The humbug of many logical values
- Intuitive semantics for first-degree entailments and `coupled trees'
- Characterizing finite-valuedness
- A formal framework for specifying sequent calculus proof systems
- Bi-facial truth: a case for generalized truth values
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- The logic of generalized truth values and the logic of bilattices
- Finite-valued semantics for canonical labelled calculi
- On the extension of lattice-valued implications via retractions
- Refinement in hybridised institutions
- Semantic investigation of canonical Gödel hypersequent systems
- Quasi-varieties and initial semantics for hybridized institutions
- Hypersequent and Labelled Calculi for Intermediate Logics
- Tools for the Investigation of Substructural and Paraconsistent Logics
- A unified semantic framework for fully structural propositional sequent systems
- Four-valued modal logic: Kripke semantics and duality
- Non-deterministic Multiple-valued Structures
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Intuitionistic Modal Logic: A 15-year retrospective
- Self-extensional three-valued paraconsistent logics have no implication
- Grafting hypersequents onto nested sequents
- A paraconsistent 3-valued logic related to Godel logic G3
- Finitely many-valued logics and natural deduction
- Embedding the hypersequent calculus in the display calculus
- Deducibility and many-valuedness
- An extended framework for specifying and reasoning about proof systems
This page was built for publication: Compositional meaning in logic