6 public-domain matches

Constructive Logic

Cover of Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Unknown author

Cover of The Economy of Workshop Manipulation: A Logical Method of Learning Constructive Mechanics ..

The Economy of Workshop Manipulation: A Logical Method of Learning Constructive Mechanics ..

John Richards

Cover of Inquisitive Logic

Inquisitive Logic

Ivano Ciardelli

Cover of On some axiomatic extensions of the monoidal T-norm based logic MTL.

On some axiomatic extensions of the monoidal T-norm based logic MTL.

Matteo Bianchi

Cover of Variant Construction from Theoretical Foundation to Applications

Variant Construction from Theoretical Foundation to Applications

Unknown author

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Unknown author