52 results on '"abstract logic"'
Search Results
2. Representability in Second-Order Propositional Poly-Modal Logic
3. An Abstract Algebraic Logic Approach to Tetravalent Modal Logics
4. On Fixed-Point Logic with Counting
5. Interpolation and Preservation for Pebble Logics
6. Completeness and Decidability of Tense Logics Closely Related to Logics Above K4
7. Cauchy Completeness in Elementary Logic
8. Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality
9. INDEPENDENCE, DIMENSION AND CONTINUITY IN NON-FORKING FRAMES
10. Completeness and Herbrand Theorems for Nominal Logic
11. Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987
12. A First Approach to Abstract Modal Logics
13. A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality
14. Vopěnka's Principle and Compact Logics
15. Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic
16. Meeting of the Association for Symbolic Logic: Sydney, 1984
17. Limit Ultrapowers and Abstract Logics
18. Abstract Logic and Set Theory. II. Large Cardinals
19. A Tableau System of Proof for Predicate-Functor Logic with Identity
20. Filter Logics on ω
21. The Characterization of Monadic Logic
22. κ-Suslin Logic
23. Some Model Theory for Game Logics
24. The Relative Expressive Power of Some Logics Extending First-Order Logic
25. Complete Problems for Fixed-Point Logics
26. Spring Meeting of the Association for Symbolic Logic: Toronto, 1993
27. 1993 Annual Meeting of the Australasian Association for Logic, Adelaide, Australia, July 9-11, 1993
28. Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics
29. Annual Meeting of the Australasian Association for Logic: Sydney, August 24-25, 1991
30. 1990 Annual Meeting of the Australasian Association for Logic, Sydney, 1990
31. The Beth-Closure of L(Q α ) is Not Finitely Generated
32. There are Reasonably Nice Logics
33. Completeness of an Ancient Logic
34. The Heine-Borel Theorem in Extended Basic Logic
35. A Minimum Calculus for Logic
36. Representations of Calculi
37. A Set of Axioms for Logic
38. On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth
39. On Logics Intermediate between Intuitionistic and Classical Predicate Logic
40. A Simplification of Basic Logic
41. A Definition of Negation in Extended Basic Logic
42. The Sheffer Functions of 3-Valued Logic
43. A Simplified Account of Validity and Implication for Quantificational Logic
44. A Second Order Logic of Existence
45. E, R, and γ
46. A Further Consistent Extension of Basic Logic
47. A Theorem About Infinite-Valued Sentential Logic
48. The Fifth Asian Logic Conference: Singapore, June 14-17, 1993
49. Special Selection in Logic in Computer Science
50. Correction to a Paper on Definability of Ordinals in Infinite Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.