On an algebra connected with the notion of satisfiability in theories with conditional definitions

Bulletin of the Section of Logic 4 (4):154-162 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
Satisfiability on hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
Ordinals connected with formal theories for transfinitely iterated inductive definitions.W. Pohlers - 1978 - Journal of Symbolic Logic 43 (2):161-182.
Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.
Some remarks on the algebra of Eddington'sE numbers.Nikos Salingaros - 1985 - Foundations of Physics 15 (6):683-691.
The Contact Algebra of the Euclidean Plane has Infinitely Many Elements.Thomas Mormann - manuscript
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.

Analytics

Added to PP
2014-02-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references