On the characterization of fibred logics, with applications to conservativity and finite-valuedness
From MaRDI portal
Publication:3133188
DOI10.1093/logcom/exw023zbMath1444.03106OpenAlexW2479565181MaRDI QIDQ3133188
Sérgio Marcelino, Carlos Caleiro
Publication date: 13 February 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9f2adeb0096e5627f35f4cc4d26bc438d55a69ee
Related Items (5)
Proof search on bilateralist judgments over non-deterministic semantics ⋮ Computational properties of partial non-deterministic matrices and their logics ⋮ Locally tabular \(\neq \) locally finite ⋮ Plug and Play Negations ⋮ Combining fragments of classical logic: when are interaction principles needed?
This page was built for publication: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
