Compositional meaning in logic
DOI10.1007/S11787-017-0177-0zbMATH Open1420.03006OpenAlexW2744560916MaRDI QIDQ1682292FDOQ1682292
Authors: Carlos Caleiro, Luca Viganò 
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
Recommendations
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)
Cites Work
- Modal logic
- The logic of generalized truth values and the logic of bilattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Truth and falsehood. An inquiry into generalized logical values
- Theory of logical calculi. Basic theory of consequence operations
- Many-dimensional modal logics: theory and applications
- A treatise on many-valued logics
- Title not available (Why is that?)
- Negative modalities, consistency and determinedness
- A unified semantic framework for fully structural propositional sequent systems
- Nearly every normal modal logic is paranormal
- Handbook of modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Matrix approach in methodology of sentential calculi
- Intuitive semantics for first-degree entailments and `coupled trees'
- Non-deterministic Multiple-valued Structures
- Title not available (Why is that?)
- Proof theory for locally finite many-valued logics: semi-projective logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hypersequent and labelled calculi for intermediate logics
- Theory of valuation
- Abstract valuation semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal multilattice logic
- Title not available (Why is that?)
- Remarks on Łukasiewicz's three-valued logic
- Deducibility and many-valuedness
- Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Efficient reasoning with inconsistent information using C-systems
- What is negation?
- Finitely many-valued logics and natural deduction
- Uniform proofs of standard completeness for extensions of first-order MTL
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Self-extensional three-valued paraconsistent logics
- Intuitionistic Modal Logic: A 15-year retrospective
- A paraconsistent 3-valued logic related to Godel logic G3
- Title not available (Why is that?)
- Four-valued modal logic: Kripke semantics and duality
- A formal framework for specifying sequent calculus proof systems
- Embedding the hypersequent calculus in the display calculus
- Title not available (Why is that?)
- A cut-free calculus for second-order Gödel logic
- A graded approach to database repair by context-aware distance semantics
- Semantic investigation of canonical Gödel hypersequent systems
- Sequent systems for negative modalities
- Locally tabular \(\neq \) locally finite
- A note on two's company: ``The humbug of many logical values
- Characterizing finite-valuedness
- Bi-facial truth: a case for generalized truth values
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Finite-valued semantics for canonical labelled calculi
- On the extension of lattice-valued implications via retractions
- Refinement in hybridised institutions
- Quasi-varieties and initial semantics for hybridized institutions
- Tools for the Investigation of Substructural and Paraconsistent Logics
- Self-extensional three-valued paraconsistent logics have no implication
- Grafting hypersequents onto nested sequents
- An extended framework for specifying and reasoning about proof systems
Cited In (4)
This page was built for publication: Compositional meaning in logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682292)
