Bilattices with Implications.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 651, doi. 10.1007/s11225-013-9494-3
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2013 AND VI 101 AND IP 4
Results: 8
1
2
A Coalgebraic Perspective on Logical Interpretations.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 783, doi. 10.1007/s11225-013-9498-z
- By:
- Publication type:
- Article
3
Abstract Valuation Semantics.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 677, doi. 10.1007/s11225-013-9495-2
- By:
- Publication type:
- Article
4
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 849, doi. 10.1007/s11225-013-9500-9
- By:
- Publication type:
- Article
5
Introduction.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 647, doi. 10.1007/s11225-013-9493-4
- By:
- Publication type:
- Article
6
The Proof by Cases Property and its Variants in Structural Consequence Relations.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 713, doi. 10.1007/s11225-013-9496-1
- By:
- Publication type:
- Article
7
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 749, doi. 10.1007/s11225-013-9497-0
- By:
- Publication type:
- Article
8
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited.
- Published in:
- Studia Logica, 2013, v. 101, n. 4, p. 827, doi. 10.1007/s11225-013-9499-y
- By:
- Publication type:
- Article