Sommaire du Fascicule no. 1

Wittgensteinian Predicate Logic

Wehmeier, Kai F.

Text on Project Euclid
PDF
Alt PDF
p. 1-11

Project Euclid
A Simple Embedding of T into Double S5

Kuhn, Steven

Text on Project Euclid
PDF
Alt PDF
p. 13-18

Project Euclid
Expressive Logics for Coalgebras via Terminal Sequence Induction

Pattinson, Dirk

Text on Project Euclid
PDF
Alt PDF
p. 19-33

Project Euclid
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing

van Bakel, Steffen

Text on Project Euclid
PDF
Alt PDF
p. 35-63

Project Euclid
Maximality and Refutability

Skura, Tom

Text on Project Euclid
PDF
Alt PDF
p. 65-72

Project Euclid
Frege's Proof of Referentiality

Linnebo, Øystein

Text on Project Euclid
PDF
Alt PDF
p. 73-98

Project Euclid
Types in Abstract Elementary Classes

Hyttinen, Tapani

Text on Project Euclid
PDF
Alt PDF
p. 99-108

Project Euclid
Book Review: Kurt Gödel. Collected Works, Volumes IV and V

Mancosu, Paolo

Text on Project Euclid
PDF
Alt PDF
p. 109-125

Project Euclid
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic

Aoyama, Hiroshi

Text on Project Euclid
PDF
Alt PDF
p. 193-213

Project Euclid
Equivalence of Syllogisms

Richman, Fred

Text on Project Euclid
PDF
Alt PDF
p. 215-233

Project Euclid
Ultrasheaves and Double Negation

Awodey, Steve ; Eliasson, Jonas

Text on Project Euclid
PDF
Alt PDF
p. 235-245

Project Euclid
Book Review: Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Logic

Lewis, Albert C.

Text on Project Euclid
PDF
Alt PDF
p. 247-256

Project Euclid