A Characterisation of Some $$\mathbf {Z}$$ Z -Like Logics

Logica Universalis 12 (1-2):207-219 (2018)
  Copy   BIBTEX


In Béziau a logic \ was defined with the help of the modal logic \. In it, the negation operator is understood as meaning ‘it is not necessary that’. The strong soundness–completeness result for \ with respect to a version of Kripke semantics was also given there. Following the formulation of \ we can talk about \-like logics or Beziau-style logics if we consider other modal logics instead of \—such a possibility has been mentioned in [1]. The correspondence result between modal logics and respective Beziau-style logics has been generalised for the case of normal logics naturally leading to soundness–completeness results [see Marcos :279–300, 2005) and Mruczek-Nasieniewska and Nasieniewski :229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski :185–196, 2008), :189–203, 2009) some partial results for non-normal cases are given. In the present paper we try to give similar but more general correspondence results for the non-normal-worlds case. To achieve this aim we have to enrich original Beziau’s language with an additional negation operator understood as ‘it is necessary that not’.



    Upload a copy of this work     Papers currently archived: 79,857

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bounding Minimal Degrees by Computably Enumerable Degrees.Angsheng Li & Dongping Yang - 1998 - Journal of Symbolic Logic 63 (4):1319-1347.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
Degrees joining to 0'. [REVIEW]David B. Posner & Robert W. Robinson - 1981 - Journal of Symbolic Logic 46 (4):714 - 722.
Degrees That Are Not Degrees of Categoricity.Bernard Anderson & Barbara Csima - 2016 - Notre Dame Journal of Formal Logic 57 (3):389-398.
Defining Relevant Implication in a Propositionally Quantified S4.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.
Diverse classes.John T. Baldwin - 1989 - Journal of Symbolic Logic 54 (3):875-893.


Added to PP

12 (#825,020)

6 months
1 (#479,713)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marek Nasieniewski
Nicolaus Copernicus University