- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On finitely based consequence operations
Studia Logica 35 (4):453 - 458 (1976)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A representation theorem for the lattice of standard consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (3):235 - 237.
Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.
Consequence Operations Based on Hypergraph Satisfiability.Kolany Adam - 1997 - Studia Logica 58 (2):261-272.
On decidable consequence operators.Jaros?aw Achinger & Andrzej W. Jankowski - 1986 - Studia Logica 45 (4):415 - 424.
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
Analytics
Added to PP
2009-01-28
Downloads
43 (#518,085)
6 months
4 (#1,247,093)
2009-01-28
Downloads
43 (#518,085)
6 months
4 (#1,247,093)
Historical graph of downloads
Citations of this work
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Three-element nonfinitely axiomatizable matrices.Katarzyna Pałasińska - 1994 - Studia Logica 53 (3):361 - 372.
An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
References found in this work
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
The logics stronger than Łukasiewicz's three valued sentential calculus-the notion of degree of maximality versus the notion of degree of completeness.Ryszard Wójcicki - 1974 - Studia Logica 33 (2):201-214.
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations.Roman Suszko - 1961 - Studia Logica 11 (1):185 - 216.
Discussion on J. Sneed's The Logical Structure of Mathematical Physics.Ryszard Wójcicki - 1974 - Studia Logica 33:105.
O metodzie schematów logicznych I jej zastosowaniu do rachunków logicznych I W teorii konsekwencji.Roman Suszko - 1961 - Studia Logica 11 (1):215-215.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-ppxv8 uwo