Uniqueness of axiomatic extensions of cut-free classical propositional logic.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 708, doi. 10.1093/jigpal/jzw032
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2016 AND VI 24 AND IP 5
Results: 10
1
2
The attack as intuitionistic negation.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 807, doi. 10.1093/jigpal/jzw012
- By:
- Publication type:
- Article
3
Some classes of quasi-pseudo-MV algebras.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 655, doi. 10.1093/jigpal/jzw034
- By:
- Publication type:
- Article
4
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 838, doi. 10.1093/jigpal/jzw011
- By:
- Publication type:
- Article
5
Representing quantum structures as near semirings.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 719, doi. 10.1093/jigpal/jzw031
- By:
- Publication type:
- Article
6
On the number of variables in undecidable superintuitionistic propositional calculi.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 774, doi. 10.1093/jigpal/jzw018
- By:
- Publication type:
- Article
7
Conferences.
- Published in:
- 2016
- Publication type:
- Proceeding
8
Decidability and complexity of fibred logics without shared connectives.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 673, doi. 10.1093/jigpal/jzw033
- By:
- Publication type:
- Article
9
Pavelka-style fuzzy justification logics.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 743, doi. 10.1093/jigpal/jzw019
- By:
- Publication type:
- Article
10
Undecidable problems for propositional calculi with implication.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 792, doi. 10.1093/jigpal/jzw013
- By:
- Publication type:
- Article