DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Minimal logic
Minimal logic
Classifying Material Implications Over Minimal Logic
Mathematical Logic. Introduction. by Vilnis Detlovs And
Minimal Logic and Automated Proof Verification
The Broadest Necessity
Metamathematics in Coq Metamathematica in Coq (Met Een Samenvatting in Het Nederlands)
Problems for Temporary Existence in Tense Logic Meghan Sullivan* Notre Dame
S. P. Odintsov “REDUCTIO AD ABSURDUM” AND
Query Answering in Information Systems with Integrity Constraints
Formal Semantics and Logic.Pdf
Deductive Systems in Traditional and Modern Logic
Logic, Epistemology, and the Unity of Science
Uniform Proofs As a Foundation for Logic Programming
No Vicious Circularity Without Classical Logic Joseph Vidal-Rosset
A Concise Introduction to Mathematical Logic
Logical Foundations of Well-Founded Semantics∗
Relevant Logic a Philosophical Examination of Inference
A Kuroda-Style J-Translation
A Study of Subminimal Logics of Negation and Their Modal Companions
Top View
Mathematical Logic
Cut As Consequence
(Propositional) Logic Are Built from Propositional Variables P, Q
Truth-Maker Semantics for Intuitionistic Logic (PDF)
Algebraic Approach to Non-Classical Logics
Minimal Classical Logic and Control Operators
Minimal Logic Programs
Proof-Graphs for Minimal Implicational Logic
Justification Logic and Type Theory: First Steps Towards Justified Typed Modality
Intuitionistic Logic Considered As an Extension of Classical Logic: Some Critical Remarks∗
An Argument for Minimal Logic
Minimal Logic Programs (Extended Report)
Minimal and Subminimal Logic of Negation
Embedding Classical in Minimal Implicational Logic
Lecture 19: Minimal Vs. Intuitionistic Vs. Classical Logic
On a Substructural Logic with Minimal Negation∗
What Is Absolute Necessity?
Studies in Minimal Mathematics
Part 1: Propositional Logic
Classical Logic, Control Calculi and Data Types
Lewis Meets Brouwer: Constructive Strict Implication
Why Intuitionistic Relevant Logic Cannot Be a Core Logic Joseph Vidal-Rosset
“That Will Do”: Logics of Deontic Necessity and Sufficiency
Arxiv:1312.7832V5 [Math.LO] 8 May 2021