Titel

Merkliste
1 Ergebnisse

Rule Separation and Embedding Theorems for Logics without W..:

van Alten, Clint J. ; Raftery, James G.
Studia Logica: An International Journal for Symbolic Logic. 76 (2004) 2 - p. 241-274 , 2004

Link: https://www.jstor.org/stable/20016587

RT Journal
T1 <Title>Rule Separation and Embedding Theorems for Logics without Weakening</Title>

UL https://suche.suub.uni-bremen.de/peid=jstor-20016587&Exemplar=1&LAN=DE
				
A1 van Alten, Clint J.
A1 Raftery, James G.
PB Kluwer Academic Publishers
YR 2004
SN 0039-3215
SN 1572-8730
K1 linear logic
K1 separation theorem
K1 residuated lattice
K1 finite embeddability property
K1 Lattice-R
K1 Philosophy
K1 Logic
K1 Logical theorems
K1 Mathematics
K1 Pure mathematics
K1 Algebra
K1 Abstract algebra
K1 Residuated lattices
K1 Logical topics
K1 Formal logic
K1 Mathematical logic
K1 Logicism
K1 Axiomatization
K1 Mathematical expressions
K1 Axioms
K1 Linguistics
K1 Language
K1 Orthographies
K1 Allography
K1 Handwriting
K1 Signatures
K1 Mathematical theorems
K1 Propositional logic
K1 Modus ponens
K1 Nonstandard logics
K1 Modal logic
K1 Finite model property
K1 Mathematical set theory
K1 Mathematical sets
K1 Multisets
JF Studia Logica: An International Journal for Symbolic Logic
VO 76
IS 2
SP 241
OP 274
LK http://dx.doi.org/https://www.jstor.org/stable/20016587
DO https://www.jstor.org/stable/20016587
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)