Compositional meaning in logic
From MaRDI portal
Publication:1682292
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- scientific article; zbMATH DE number 3482305 (Why is no real title available?)
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- scientific article; zbMATH DE number 1992764 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1749009 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 6399373 (Why is no real title available?)
- scientific article; zbMATH DE number 2196615 (Why is no real title available?)
- scientific article; zbMATH DE number 3423547 (Why is no real title available?)
- A cut-free calculus for second-order Gödel logic
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- A formal framework for specifying sequent calculus proof systems
- A graded approach to database repair by context-aware distance semantics
- A note on two's company: ``The humbug of many logical values
- A paraconsistent 3-valued logic related to Gödel logic G3
- A treatise on many-valued logics
- A unified semantic framework for fully structural propositional sequent systems
- Abstract algebraic logic. An introductory textbook
- Abstract valuation semantics
- Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms
- An extended framework for specifying and reasoning about proof systems
- Bi-facial truth: a case for generalized truth values
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Characterizing finite-valuedness
- Deducibility and many-valuedness
- Efficient reasoning with inconsistent information using C-systems
- Embedding the hypersequent calculus in the display calculus
- Finite-valued semantics for canonical labelled calculi
- Finitely many-valued logics and natural deduction
- Four-valued modal logic: Kripke semantics and duality
- Grafting hypersequents onto nested sequents
- Handbook of modal logic
- Hypersequent and labelled calculi for intermediate logics
- Intuitionistic modal logic: a 15-year retrospective
- Intuitive semantics for first-degree entailments and `coupled trees'
- Locally tabular \(\neq \) locally finite
- Many-dimensional modal logics: theory and applications
- Matrix approach in methodology of sentential calculi
- Minimal paradefinite logics for reasoning with incompleteness and inconsistency
- Modal logic
- Modal multilattice logic
- Nearly every normal modal logic is paranormal
- Negative modalities, consistency and determinedness
- Non-deterministic Multiple-valued Structures
- On the extension of lattice-valued implications via retractions
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Proof theory for locally finite many-valued logics: semi-projective logics
- Quasi-varieties and initial semantics for hybridized institutions
- Refinement in hybridised institutions
- Remarks on Łukasiewicz's three-valued logic
- Self-extensional three-valued paraconsistent logics
- Self-extensional three-valued paraconsistent logics have no implication
- Semantic investigation of canonical Gödel hypersequent systems
- Sequent systems for negative modalities
- The logic of generalized truth values and the logic of bilattices
- Theory of logical calculi. Basic theory of consequence operations
- Theory of valuation
- Tools for the investigation of substructural and paraconsistent logics
- Truth and falsehood. An inquiry into generalized logical values
- Uniform proofs of standard completeness for extensions of first-order MTL
- What is negation?
Cited in
(6)
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)
