Π2-rule systems and inductive classes of Gödel algebras

Annals of Pure and Applied Logic 176 (4):103552 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2025.103552

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

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

Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
Gödel algebras free over finite distributive lattices.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Annals of Pure and Applied Logic 155 (3):183-193.
On free annotated algebras.Renato A. Lewin, Irene F. Mikenberg & Marı́a G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
On free annotated algebras.Renato Lewin, Irene Mikenberg & María Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
Conditional algebras.Sergio Celani, Rafał Gruszczyński & Paula Menchón - 2025 - Annals of Pure and Applied Logic 176 (5):103556.

Analytics

Added to PP
2025-01-15

Downloads
1 (#1,946,451)

6 months
1 (#1,891,450)

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

No citations found.

Add more citations

References found in this work

Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.

View all 9 references / Add more references