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 32 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 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 Practical forms of type theory R Representability in Second-Order Propositional Poly-Modal Logic Review of it Extending Deontic Logic for the Formalization of Legal Rules, by Lamb'er M.M. Royakkers

R cont. 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