Tautologies and positive solvability of linear homogeneous systems

&
Annals of Pure and Applied Logic 57 (1):27-43 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(92)90060-d

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

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

Time, euclidean geometry and relativity.Roy Lisker - unknown
Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Potential isomorphism of elementary substructures of a strictly stable homogeneous model.Sy-David Friedman, Tapani Hyttinen & Agatha C. Walczak-Typke - 2011 - Journal of Symbolic Logic 76 (3):987 - 1004.
On the Debate Concerning the Proper Characterization of Quantum Dynamical Evolution.Michael E. Cuffaro & Wayne C. Myrvold - 2013 - Philosophy of Science 80 (5):1125-1136.
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?Masahiro Kumabe, Toshio Suzuki & Takeshi Yamazaki - 2008 - Archive for Mathematical Logic 47 (2):159-180.
Numerical bifurcation analysis of ecosystems in a spatially homogeneous environment.B. W. Kooi - 2003 - Acta Biotheoretica 51 (3):189-222.
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.
Plausibly hard combinatorial tautologies.Jeremy Avigad - manuscript
An additive representation on the product of complete, continuous extensive structures.Yutaka Matsushita - 2010 - Theory and Decision 69 (1):1-16.
Harmonic grammar with linear programming: From linear systems to linguistic typology.Christopher Potts, Rajesh Bhatt, Joe Pater & Michael Becker - unknown
Particle Description of Zero-Energy Vacuum II: Basic Vacuum Systems. [REVIEW]Jean-Yves Grandpeix & François Lurçat - 2002 - Foundations of Physics 32 (1):133-158.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.

Analytics

Added to PP
2014-01-16

Downloads
25 (#632,603)

6 months
5 (#637,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Towards logical operations research—propositional case.Gennady Davydov & Inna Davydova - 2001 - Annals of Pure and Applied Logic 113 (1-3):95-119.

Add more citations

References found in this work

No references found.

Add more references