Authors: Płaczek, Paweł
Superior Title: Bulletin of the Section of Logic; Early View; 30 pp. ; 2449-836X ; 0138-0680
Subject Terms: linear logic, Lambek calculus, nonassociative logics, noncommutative logics, substructural logics, consequence relation, nonlogical axioms, conservativeness
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/20419/23122; https://czasopisma.uni.lodz.pl/bulletin/article/view/20419
Authors: Sayed Ahmed, Tarek
Superior Title: Bulletin of the Section of Logic; Early View; 10 pp. ; 2449-836X ; 0138-0680
Subject Terms: algebraic logic, systems of varieties, ultraproducts, non-finite axiomaitizability, logic, algebra
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14031/22191; https://czasopisma.uni.lodz.pl/bulletin/article/view/14031
Authors: Orlandelli, Eugenio, Tesi, Matteo
Superior Title: Bulletin of the Section of Logic; Early View; 22 pp. ; 2449-836X ; 0138-0680
Subject Terms: proof theory, classical logic, decidability, Herbrand theorem, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/18448/22186; https://czasopisma.uni.lodz.pl/bulletin/article/view/18448
Authors: Olszewski, Adam
Superior Title: Bulletin of the Section of Logic; Early View; 33 pp. ; 2449-836X ; 0138-0680
Subject Terms: probable sentences, majority, logically probable formula, Boolean valuations, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/20466/23119; https://czasopisma.uni.lodz.pl/bulletin/article/view/20466
Authors: Pannawit Khamrot, Gaketem, Thiti
Superior Title: Bulletin of the Section of Logic; Early View; 17 pp. ; 2449-836X ; 0138-0680
Subject Terms: SUP-hesitant fuzzy interior ideal, hesitant fuzzy interior ideal, interval valued fuzzy interior ideal, logic, algebra
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14208/23123; https://czasopisma.uni.lodz.pl/bulletin/article/view/14208
Authors: Martini, Simone, Masini, Andrea, Zorzi, Margherita
Superior Title: Bulletin of the Section of Logic; Early View; 36 pp. ; 2449-836X ; 0138-0680
Subject Terms: proof theory, sequent calculus, cut elimination, modal logic, 2-sequents, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/13263/18982; https://czasopisma.uni.lodz.pl/bulletin/article/view/13263
Authors: Piazza, Mario, Pulcini, Gabriele, Tesi, Matteo
Superior Title: Bulletin of the Section of Logic; Early View; 25 pp. ; 2449-836X ; 0138-0680
Subject Terms: modal logic, general proof theory (including proof-theoretic semantics), many-valued logics, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14211/18478; https://czasopisma.uni.lodz.pl/bulletin/article/view/14211
Authors: Øgaard, Tore Fjetland
Superior Title: Bulletin of the Section of Logic; Vol. 52 No. 1 (2023); 85-99 ; Bulletin of the Section of Logic; Tom 52 Nr 1 (2023); 85-99 ; 2449-836X ; 0138-0680
Subject Terms: characteristic matrix, relevant logics, variable sharing properties, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/15292/17325; https://czasopisma.uni.lodz.pl/bulletin/article/view/15292
Authors: Celani, Sergio
Superior Title: Bulletin of the Section of Logic; Early View; 21 pp. ; 2449-836X ; 0138-0680
Subject Terms: interpretability logic, Kripke frames, neighbourhood frames, Veltman semantics, 03B45, 03B60
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/16580/20402; https://czasopisma.uni.lodz.pl/bulletin/article/view/16580
Authors: Ayhan, Sara, Wansing, Heinrich
Superior Title: Bulletin of the Section of Logic; Vol. 52 No. 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 187-237 ; Bulletin of the Section of Logic; Tom 52 Nr 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 187-237 ; 2449-836X ; 0138-0680
Subject Terms: bilateralism, bi-intuitionistic logic \(\mathtt{2Int}\), cut-elimination, identity of derivations, synonymy
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14910/18176; https://czasopisma.uni.lodz.pl/bulletin/article/view/14910
Authors: Gyenis, Zalán, Molnár, Zalán, Öztürk, Övge
Superior Title: Bulletin of the Section of Logic; Vol. 52 No. 1 (2023); 59-83 ; Bulletin of the Section of Logic; Tom 52 Nr 1 (2023); 59-83 ; 2449-836X ; 0138-0680
Subject Terms: interpolation, algebraic logic, amalgamation, superamalgamation
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14228/17323; https://czasopisma.uni.lodz.pl/bulletin/article/view/14228
Authors: van Dijk, Emma, Ripley, David, Gutierrez, Julian
Superior Title: Bulletin of the Section of Logic; Vol. 52 No. 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 145-186 ; Bulletin of the Section of Logic; Tom 52 Nr 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 145-186 ; 2449-836X ; 0138-0680
Subject Terms: core logic, type theory, strong normalization, 03A05, 03B38, 03B47, 03F05
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14195/18477; https://czasopisma.uni.lodz.pl/bulletin/article/view/14195
Authors: Gheorghiu, Alexander V., Pym, David J.
Superior Title: Bulletin of the Section of Logic; Vol. 52 No. 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 239-266 ; Bulletin of the Section of Logic; Tom 52 Nr 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I); 239-266 ; 2449-836X ; 0138-0680
Subject Terms: logic programming, proof-theoretic semantics, bilateralism, negationas-failure
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14153/18181; https://czasopisma.uni.lodz.pl/bulletin/article/view/14153
Authors: Walendziak, Andrzej
Superior Title: Bulletin of the Section of Logic; Early View; 19 pp. ; 2449-836X ; 0138-0680
Subject Terms: GE algebra, tGE algebra, BCK algebra, Hilbert algebra, (positive) implicativity, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14019/18981; https://czasopisma.uni.lodz.pl/bulletin/article/view/14019
Superior Title: Bulletin of the Section of Logic; Early View; 33 pp. ; 2449-836X ; 0138-0680
Subject Terms: multialgebras, ordered algebras, non-deterministic semantics, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14375/18476; https://czasopisma.uni.lodz.pl/bulletin/article/view/14375
Authors: Hamidi , Mohammad
Superior Title: Bulletin of the Section of Logic; Early View; 30 pp. ; 2449-836X ; 0138-0680
Subject Terms: single-valued neutrosophic (hyper)\(BCK\)-subalgebra, quasi commutative diagram, extendable single-valued neutrosophic (hyper)\(BCK\)-ideal, logic
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/9134/18390; https://czasopisma.uni.lodz.pl/bulletin/article/view/9134
Superior Title: Bulletin of the Section of Logic; Early View; 17 pp. ; 2449-836X ; 0138-0680
Subject Terms: (\(H_{v}\),\(Hyper)BE\)-algebra, fundamental relation, quotient, logic, algebra
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/13229/18331; https://czasopisma.uni.lodz.pl/bulletin/article/view/13229
Superior Title: Bulletin of the Section of Logic; Vol. 51 No. 4 (2022); 555-645 ; Bulletin of the Section of Logic; Tom 51 Nr 4 (2022); 555-645 ; 2449-836X ; 0138-0680
Subject Terms: semi-intuitionistic logic, dually hemimorphic semi-Heyting logic, dually quasi-De Morgan semi-Heyting logic, De Morgan semi-Heyting logic, dually pseudocomplemented semi-Heyting logic, regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1, implicative logic, equivalent algebraic semantics, algebraizable logic, De Morgan Gödel logic, dually pseudocomplemented Gödel logic, Moisil's logic, 3-valued Łukasiewicz logic, 03B50, 03G25, 06D20, 06D15, 08B26, 08B15, 06D30
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/12505/15203; https://czasopisma.uni.lodz.pl/bulletin/article/view/12505
Authors: Robles, Gemma, Méndez, José M.
Superior Title: Bulletin of the Section of Logic; Vol. 51 No. 4 (2022); 487-505 ; Bulletin of the Section of Logic; Tom 51 Nr 4 (2022); 487-505 ; 2449-836X ; 0138-0680
Subject Terms: binary Routley semantics, 2 set-up binary Routley semantics, 3-valued logics, paraconsistent logics, Gödelian 3-valued logic G3
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/10498/13975; https://czasopisma.uni.lodz.pl/bulletin/article/view/10498
Authors: Alizadeh, Majid, Memarzadeh, Masoud
Superior Title: Bulletin of the Section of Logic; Vol. 51 No. 3 (2022); 297-316 ; Bulletin of the Section of Logic; Tom 51 Nr 3 (2022); 297-316 ; 2449-836X ; 0138-0680
Subject Terms: basic propositional logic, formal propositional logic, layered bisimulation, interpolation, 03F30, 03G25, 03B20
File Description: application/pdf
Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/9684/13738; https://czasopisma.uni.lodz.pl/bulletin/article/view/9684