Generalised graded interpolation
From MaRDI portal
Publication:2105608
DOI10.1016/j.ijar.2022.10.018OpenAlexW4308741836MaRDI QIDQ2105608
Publication date: 8 December 2022
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2022.10.018
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Categorical logic, topoi (03G30) Many-valued logic (03B50) Interpolation, preservation, definability (03C40)
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
- Foundations of algebraic specification and formal software development.
- Monadic extensions of institutions
- Grothendieck institutions
- Institution morphisms
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
- Residuated lattices. An algebraic glimpse at substructural logics
- Graded consequence: an institution theoretic study
- An institution-independent proof of the Beth definability theorem
- Specifications in an arbitrary institution
- Complexity, convexity and combinations of theories
- A simple algebraic proof of the equational interpolation theorem
- Model theory.
- On pushout consistency, modularity and interpolation for logical specifications
- On a generalized modularization theorem
- Logical systems for structured specifications.
- An institution-independent proof of Craig interpolation theorem
- Interpolation in Grothendieck institutions
- The institution-theoretic scope of logic theorems
- Institutional semantics for many-valued logics
- Institution-independent model theory
- L-fuzzy sets
- The logic of inexact concepts
- Interpolation in practical formal development
- Borrowing interpolation
- Combinatorics of $\lambda$-terms: a natural approach
- Lattice Theory: Foundation
- Interpolation for predefined types
- Abstract Beth definability in institutions
- Module algebra
- Robinson's Consistency Theorem in Soft Model Theory
- On Fuzzy Logic I Many‐valued rules of inference
- Simplification by Cooperating Decision Procedures
- Institutions: abstract model theory for specification and programming
- Elementary Diagrams in Institutions
- Graded consequence: further studies
- Tools and Algorithms for the Construction and Analysis of Systems
- State of the Union: Type Inference Via Craig Interpolation
- Fuzzy equational logic
This page was built for publication: Generalised graded interpolation
