The lattice of linear classes in prime-valued logics

Type: Article

Publication Date: 1982-01-01

Citations: 12

DOI: https://doi.org/10.4064/-7-1-105-123

Locations

  • Banach Center Publications - View - PDF

Similar Works

Action Title Year Authors
+ Theory of Linear Order in Extended Logics 1995 Heinrich Herre
+ Prime Space of Lattice Implication Algebras 1997 宋振明
郭天榜
+ PDF Chat Intermediate logics and factors of the Medvedev lattice 2008 Andrea Sorbi
Sebastiaan A. Terwijn
+ Quantitative domains, groupoids and linear logic 2005 Paul Taylor
+ Prime and maximal ideals in lattices 2022 Don C. Adams
+ Polynomial Constraints in Lattice-Ordered Rings 1982 Stuart Streinberg
+ The Category of Lattices over a Lattice-Finite Ring 2005 Wolfgang Rump
+ PDF Chat Coherence in linear predicate logic 2008 Kosta Došen
Zoran Petrić
+ Algebraic theories of continuous lattices 1981 Oswald Wyler
+ Primes in a Lattice-Ordered Semigroup 1984 Tokuo Iwamoto
+ Prime ideals and distributivity in lattices 1970 Mario Petrich
+ PDF Chat Tableaux for Free Logics with Descriptions 2021 Andrzej Indrzejczak
Michał Zawidzki
+ PDF Chat Definability in the lattice of ring varieties 1978 Awad A. Iskander
+ Representations in many-valued logics 1972 Yu. L. Ivas'kiv
D. A. Pospelov
Zh. Toshich
+ Logics and Arithmetics 2004 Christian Posthoff
Bernd Steinbach
+ First-order Gödel logics 2007 Matthias Baaz
Norbert Preining
Richard Zach
+ PDF Chat Logics of Finite Hankel Rank 2015 Nadia Labai
Johann A. Makowsky
+ Standard ideals in lattices 1964 George Grätzer
E. T. Schmidt
+ PDF Chat Constructive Canonicity for Lattice-Based Fixed Point Logics 2017 Willem Conradie
Andrew Craig
Alessandra Palmigiano
Zhiguang Zhao
+ PDF Chat Containment Logics: Algebraic Completeness and Axiomatization 2021 Stefano Bonzio
Michele Pra Baldi

Works Cited by This (0)

Action Title Year Authors