Subminimal logic and weak algebras

&
Reports on Mathematical Logic:153-166 (2009)
  Copy   BIBTEX

Abstract

n this paper we investigate the implication-less fragment of Johansson's minimal logic. We call it subminimal logic and we study its associated algebras, which we call weak algebras. We prove the algebraic Glivenko theorem, soundness and completeness for this logic.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equality Logic.Shokoofeh Ghorbani - 2020 - Bulletin of the Section of Logic 49 (3):291-324.
On Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.
Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
On Heyting Algebras with Negative Tense Operators.Federico G. Almiñana, Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (6):1015-1036.
Boolean Algebras With A Distinguished Automorphism.M. Abad, J. P. D.\'{\I.}az Varela & M. Zander - 2003 - Reports on Mathematical Logic:101-112.
On Weak Lewis Distributive Lattices.Ismael Calomino, Sergio A. Celani & Hernán J. San Martín - forthcoming - Studia Logica:1-41.
Chang's Ł* Logic.Renato Lewin, Marta Sagastume & Pedro Massey - 2004 - Logic Journal of the IGPL 12 (6):485-497.

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references