The following pages link to (Q5815602):
Displaying 50 items.
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Sets and plural comprehension (Q484118) (← links)
- Prior and possibly not existing (Q516421) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Noncumulative dialectical models and formal dialectics (Q1061730) (← links)
- Semantic closure (Q1063583) (← links)
- A model for belief revision (Q1104127) (← links)
- Language in action (Q1177646) (← links)
- Moral dilemmas, disjunctive obligations, and Kant's principle that ``ought'' implies ``can'' (Q1182172) (← links)
- Coquand's calculus of constructions: A mathematical foundation for a proof development system (Q1201296) (← links)
- The translation of formal proofs into English (Q1228369) (← links)
- Semantical analyses of propositional systems of Fitch and Nelson (Q1237778) (← links)
- A formal statement of the Einstein-Podolsky-Rosen argument (Q1254301) (← links)
- Fregean grammar: A formal outline (Q1260031) (← links)
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144) (← links)
- New axiomatics for relevant logics. I (Q1394338) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Logic of agreement: Foundations, semantic system and proof theory (Q1818006) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Reasoning processes in propositional logic (Q1959223) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Reasoning about truth in first-order logic (Q2255212) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- The harmony of identity (Q2281316) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Truth, predication and a family of contingent paradoxes (Q2420715) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- Stanisław Jaśkowski: Life and Work (Q4611685) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- Simulation of Natural Deduction and Gentzen Sequent Calculus (Q4683217) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Vagueness as an epiphenomenon, and non-transitivity (Q5048038) (← links)
