Category:Journal Journal of Symbolic Logic
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
Journal
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link