On combined connectives
From MaRDI portal
Publication:1941724
DOI10.1007/s11787-011-0032-7zbMath1280.03035OpenAlexW1996787288MaRDI QIDQ1941724
Cristina Sernadas, Amílcar Sernadas, João Rasga
Publication date: 21 March 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-011-0032-7
Related Items
Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras
Cites Work
- Unnamed Item
- Abstract valuation semantics
- Connectives stranger than tonk
- Non-deterministic semantics for logics with a consistency operator
- Fibring: completeness preservation
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- A Graph-theoretic Account of Logics
- Properties of independently axiomatizable bimodal logics