Reports on Mathematical Logic - Tom Nr 40 (2006) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Nr 40

Czasopismo

Reports on Mathematical Logic

Wydawca

Wydawnictwo Uniwersytetu Jagiellońskiego

Rocznik

2006

Identyfikatory

Zawartość wolumenu

Nr 40
- artykuł: Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+ (Swirydowicz K.), s. 3-13
- artykuł: On Ontological Functors of Lesniewski's Elementary Ontology (Urbaniak R.), s. 15-43
- artykuł: Extensions of Intuitionistic Logic Without the Deduction Theorem: Some Simple Examples (Humberstone L.), s. 45-82
- artykuł: n x m Łukasiewicz algebras with parameters (Sanza C.), s. 83-106
- artykuł: Intensional positive set theory (Hinion R.), s. 107-125
- artykuł: On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Binabou theories (Vidal J., Tur J.), s. 127-158
- artykuł: A note on transitive sets without the foundation axiom (Kysiak M.), s. 159-163
- artykuł: Spanning graphs and the Axiom of Choice (Delhommi Ch., Morillon M.), s. 165-180
- artykuł: Some results on ordered structures in toposes (Sbardellini L., Coniglio M.), s. 181-198
- artykuł: Subalgebras of a finite monadic Boolean Algebra (Monteiro L., Abad M., Savini S., Sewald J., Zander M.), s. 199-206
- artykuł: Invariance and Set-Theoretical Operations in First Order Structures (Rodrigues A., Filho R., Souza de E.), s. 207-213