Showing 1–20 of 27 results
/ Date/ Name
Jul 16, 2018Some model-theoretic results on the 3-valued paraconsistent first-order logic QCioreJun 6, 2025Swap Kripke models for deontic LFIsMay 19, 2025The Modal Cube Revisited: Semantics without Worlds (Technical Report)Feb 4, 2022Tableau systems for some Ivlev-like (quantified) modal logicsNov 26, 2019Twist-Valued Models for Three-valued Paraconsistent Set TheoryMar 20, 2020Logics of Formal Inconsistency enriched with replacement: an algebraic and modal accountAug 28, 2017Non-deterministic algebraization of logics by swap structuresMar 26, 2018Maximality in finite-valued Lukasiewicz logics defined by order filtersMay 31, 2024Normalization and cut-elimination theorems for some logics of evidence and truthSep 7, 2025Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$Apr 20, 2026Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and TruthDec 25, 2021Restricted swap structures for da Costa's $C_n$ and their categoryDec 21, 2019First-order swap structures semantics for some Logics of Formal InconsistencyNov 19, 2020A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semanticsApr 20, 2026A taxonomy for controlling (in)consistencyMar 12, 2021On the expressive power of Lukasiewicz's square operatorJan 11, 2021Absolutely Free HyperalgebrasDec 20, 2022Fibring by functions as a method for combining matrix logicsDec 31, 2024Modal Logics -- RNmatrices vs. NmatricesSep 25, 2022On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic