Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations Pawel Pawlowski OriginalPaper Open access 16 October 2020 Pages: 407 - 420
Encoding Complete Metric Structures by Classical Structures Nathanael Leedom Ackerman OriginalPaper 25 September 2020 Pages: 421 - 459
Bases for Structures and Theories II Jeffrey Ketland OriginalPaper Open access 21 September 2020 Pages: 461 - 479
Composition of Deductions within the Propositions-As-Types Paradigm Ivo Pezlar OriginalPaper 02 September 2020 Pages: 481 - 493
Graded Structures of Opposition in Fuzzy Natural Logic Petra Murinová OriginalPaper 28 October 2020 Pages: 495 - 522
Constrained Pseudo-Propositional Logic Ahmad-Saher Azizi-Sultan OriginalPaper 05 November 2020 Pages: 523 - 535