×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
alan-rose documents
Documents
A Simplified Self m-AL Set of Primitive Functors for the m-Valued Propositional Calculus
Documents
A Formalisation of Post's m-Valued Propositional Calculus with Variable Functors
Documents
A Formalisation of the m-Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors
Documents
Formalisations With Non-Standard Degrees of Completeness
Documents
Some formalisations of N0-valued propositional calculi
Documents
Some many-valued propositional calculi without single generators
Documents
SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION
Documents
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept
Documents
A Note on Formalisation by the Method of Description of Truth-Tables
Documents
A formalisation of post'sm-valued propositional calculus
Documents
Self-dual primitives for modal logic
Documents
A formalisation of the 2-valued propositional calculus with self-dual primitives
Documents
An alternative generalisation of the concept of duality
Documents
On the use of a complex (Quaternion) velocity potential in three dimensions
Documents
Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkül
Documents
An Extension of Computational Logic
Documents
Strong Completeness of Fragments of the Propositional Calculus
Documents
Formalisations of Further ℵ0-Valued Lukasiewicz Propositional Calculi
Documents
Extensions of Some Theorems of Anderson and Belnap
Documents
AMERICAN CIVIL WAR BY RANDALL SENTMAN ED 448. AMERICAN HERITAGE
Documents
1 Virtual Memory (I). 2 Outline Physical and Virtual Addressing Address Spaces VM as a Tool for Caching VM as a Tool for Memory Management VM as a Tool
< Prev