TWiki> Mizar Web>MathematicsSubjectClassification>03>03B>03B10 (2006-11-02, MarcoRiccardi)EditAttach

General logic - Classical first-order logic

Primary classification

# Article
1 qc_lang1 A First Order Language Piotr Rudnicki and Andrzej Trybulec
2 qc_lang2 Connectives and Subformulae of the First Order Language Grzegorz Bancerek
3 qc_lang3 Variables in Formulae of the First Order Language Czes{\l}aw Byli\'nski and Grzegorz Bancerek
4 cqc_lang A Classical First Order Language Czes{\l}aw Byli\'nski
5 cqc_the1 A First-Order Predicate Calculus. Axiomatics, the Consequence Operation and a Concept of Proof Agata Darmochwa{\l}
6 cqc_the2 Calculus of Quantifiers. Deduction Theorem Agata Darmochwa\l
7 cqc_sim1 Similarity of Formulae Agata Darmochwa{\l} and Andrzej Trybulec
8 cqc_the3 Logical Equivalence of Formulae Oleg Okhotnikov
9 qc_lang4 The Subformula Tree of a Formula of the First Order Language Oleg Okhotnikov
   
   

Secondary classification

# Article
   
   
WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-11-02 - 21:14:23 - MarcoRiccardi
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback