The following pages link to Adam Přenosil (Q295912):
Displaying 21 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Constructing natural extensions of propositional logics (Q514508) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Contradictory information as a basis for rational belief (Q1679753) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- From partially ordered monoids to partially ordered groups via free nuclear preimages (Q2675057) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- (Q4636306) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- Pointed lattice subreducts of varieties of residuated lattices (Q6514355) (← links)
- Equational definitions of logical filters (Q6518217) (← links)
- Equivalence of multiset-based consequence relations (Q6529421) (← links)
- Levin's and Prucnal's theorems on Medvedev's logic of finite problems (Q6529423) (← links)
- Filter classes of upsets of distributive lattices (Q6615239) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- On the structure of balanced residuated partially ordered monoids (Q6747000) (← links)
