Indrzejczak, Andrzej 1964-
Indrzejczak, Andrzej
VIAF ID: 234695702 (Personal)
Permalink: http://viaf.org/viaf/234695702
Preferred Forms
- 100 1 _ ‡a Indrzejczak, Andrzej
-
-
-
- 100 1 _ ‡a Indrzejczak, Andrzej
-
-
- 100 1 _ ‡a Indrzejczak, Andrzej
-
-
- 100 1 _ ‡a Indrzejczak, Andrzej ‡d 1964-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Admissibility of cut in congruent modal logics | |
Analiza chwytów erystycznych w trzech dialogach Platona : Protagorasie, Gorgiaszu i Teajtecie | |
Correspondence theory in proof | |
Decision procedures for some strong hybrid logics | |
[Displaying modal logic - recenzja] | |
Elementy logiki | |
Hybrydowe systemy dedukcyjne w logikach modalnych | |
Hypersequent calculifir S5 : the methods of cut elimination | |
Konferencja "Logiki Nieklasyczne - teoria i zastosowania" : (próba podsumowania) | |
Krytyka czystej formy wg. [!] filozofii społecznej Pierre'a Bourdieu | |
Logiczna analiza struktury i prawomocności argumentu tu quoque | |
Logika | |
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique | |
Metody logiki : dedukcja | |
Natural deduction, hybrid systems and modal logics | |
Possible worlds in use | |
Powstanie i ewolucja dedukcji naturalnej | |
Powstanie i ewolucja rachunków sekwentowych | |
Professor Grzegorz Malinowski in honorem | |
Rachunek sekwentów Gentzena w automatycznej ewaluacji testów egzaminacyjnych | |
Rachunki sekwentowe w logice klasycznej | |
O rozumieniu analityczności w teorii dowodu | |
Rule-generation theorem and its applications | |
Sekwentowe i założeniowe formalizacje zadaniowych logik modalnych | |
Sequents and trees : an introduction to the theory and applications of propositional sequent calculi | |
Simple cut elimination proof for hybrid logic | |
Simple decision procedure for S5 standard cut-free sequent calculus | |
Suszko's contribution to the theory of nonaxiomatic proof systems | |
Tautology elimination, cut elimination, and S5 | |
Trends in Logic XIII : Gentzen's and Jaśkowski's heritage 80 years of natural deduction and sequent calculi | |
Uwagi o formach kontrargumentacji | |
Wstęp do logiki | |
XPath-like Query Logics : Proof Systems and Real-World Applicability. | |
Zagadnienie modalności w logice |