24 results on '"Indrzejczak, Andrzej"'
Search Results
2. Definite descriptions and hybrid tense logic
3. When iota meets lambda
4. A novel approach to equality
5. Free Logics are Cut-Free
6. The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.
7. LINEAR TIME IN HYPERSEQUENT FRAMEWORK
8. Introduction
9. A Survey of Nonstandard Sequent Calculi
10. Jaśkowski's Universally Free Logic
11. RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH.
12. Possible Worlds in Use
13. A Labelled Natural Deduction System for Linear Temporal Logic
14. Free Definite Description Theory - Sequent Calculi and Cut Elimination.
15. CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME.
16. FREGEAN DESCRIPTION THEORY IN PROOF-THEORETICAL SETTING.
17. RULE-GENERATION THEOREM AND ITS APPLICATIONS.
18. TAUTOLOGY ELIMINATION, CUT ELIMINATION, AND S5.
19. CUT ELIMINATION THEOREM FOR NON-COMMUTATIVE HYPERSEQUENT CALCULUS.
20. Professor Grzegorz Malinowski in Honorem.
21. SIMPLE DECISION PROCEDURE FOR S5 IN STANDARD CUT-FREE SEQUENT CALCULUS.
22. HYPERSEQUENT CALCULI FOR S5: The methods of cut elimination.
23. DECISION PROCEDURES FOR SOME STRONG HYBRID LOGICS.
24. ADMISSIBILITY OF CUT IN CONGRUENT MODAL LOGICS.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.