Pages that link to "Item:Q3848181"
From MaRDI portal
The following pages link to On a Practical Way of Describing Formal Deductions (Q3848181):
Displayed 13 items.
- Flexary connectives in Mizar (Q1749141) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- A Certain Kind of Formal Theories (Q5517665) (← links)
- A Study on Formal Deductions in the Primitive Logic (Q5544271) (← links)
- On a Class of Truth-Value Evaluations of the Primitive Logic (Q5544272) (← links)
- On Systems of Self-Consistent Abstractions (Q5546776) (← links)
- On a Method of Describing Formal Deductions Convenient for Theoretical Purposes (Q5582305) (← links)
- A Remark on the Intersection of Tow Logics (Q5599784) (← links)
- On Reducibility of Provability in the Primitive Logic [LO] (Q5604450) (← links)
- On a Theory Objects Based on a Single Axiom Scheme (Q5607984) (← links)
- A Stronger System of Object Theory as a Prototype of Set Theory (Q5626660) (← links)
- New Formulation of the Axiom of Choice by making use of the Comprehension Operator (Q5626661) (← links)