Non-involutive twist-structures

Logic Journal of the IGPL 28 (5):973-999 (2020)
  Copy   BIBTEX

Abstract

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics.

Similar books and articles

Involutive Categories and Monoids, with a GNS-Correspondence.Bart Jacobs - 2012 - Foundations of Physics 42 (7):874-895.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
On the variety generated by involutive pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
Twist-structures semantics for the logics of the hierarchy InPk.Fernando M. Ramos & Víctor L. Fernández - 2009 - Journal of Applied Non-Classical Logics 19 (2):183-209.
Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
On a logic of involutive quantales.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (6):579-585.
Inviting a Scandalous Look: Detecting the Fabulous Fabula Promoted by the Twist Film.Ed Cameron - 2017 - Journal of Aesthetics and Art Criticism 75 (2):155-167.
Hoop twist-structures.Shokoofeh Ghorbani - 2016 - Journal of Applied Logic 18:1-18.

Analytics

Added to PP
2019-10-27

Downloads
74 (#211,974)

6 months
72 (#57,592)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Umberto Rivieccio
Universidad Nacional de Educación a Distancia

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.

View all 8 references / Add more references