Category:Journal Journal of Symbolic Logic

From BibNetWiki

Papers published in the Journal "Journal of Symbolic Logic"

Articles in category "Journal Journal of Symbolic Logic"

There are 44 articles in this category.

A A New Deconstructive Logic: Linear Logic A formal theorem in Church's theory of types A note on the Entscheidungsproblem B Belief Contraction as Nonmonotonic Inference C Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski Computability and lambda-definability E Existential Quotients for Type Theoey and The Consistency Problem for NF Existentially Closed Structures and Godel's Second Incompleteness Theorem Extensions of some theorems of Godel and Church F Frege's Theorem in a Constructive Setting H Hybrid Logics: Characterization, Interpolation, and Complexity I Interpreting Classical Theories in Constructive Ones L Logic and Time Logic and time

L cont. Logics of Belief Change without Linearity O On Polynomial Time Computation over Unordered Structures On Tarski on Models On sentences which are true of direct unions of algebras On the Logic of Theory Change: Partial Meet Contraction Functions and Their Associated Revision Functions P Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Logic Practical forms of type theory R Randomness and Halting Probabilities Representability in Second-Order Propositional Poly-Modal Logic Review of 'Contrary-to-Fact Conditionals', by Julius R. Weinberg Review of 'Counterfactual Conditionals' and 'Hypothetical Statements and Phenomenalism', by Robert Brown and John Watling Review of 'Counterfactual Conditionals', by B.J. Diggs Review of 'Law Statements and Counterfactual Inference', by Roderick M. Chisholm Review of 'Recent Discussions on Subjunctive Conditionals', by Erna Schneider Review of 'Subjunctive Conditionals', by Stuart Hampshire

R cont. Review of 'The Analysis of Conditional Sentences', by D.J. O'Conner Review of 'The Contrary-to-Fact Conditional', by F.L. Will Review of emphExtending Deontic Logic for the Formalization of Legal Rules, by Lamb'er M.M. Royakkers Review of it Extending Deontic Logic for the Formalization of Legal Rules, by Lamb'er M.M. Royakkers Review of it Russell et le Cercle des Paradoxes, by Philippe de Rouilhan S String Theory Syntactical Truth Predicates for Second-Order Arithmetic T The Analytic Conception of Truth and the Foundations of Arithmetic The Logic of Choice The Rise and Fall of Typed Sentences The Truth is Never Simple The calculus of individuals and its uses The p -functions in lambda-K-conversion The p-function in lambda-K-conversion The use of dots as brackets in Church's system