• Kapcsolat

  • Hírlevél

  • Rólunk

  • Szállítási lehetőségek

  • Prospero könyvpiaci podcast

  • Logic, Semantics, and Algebraic Methods: Essays in Honor of Marcelo Esteban Coniglio

    Logic, Semantics, and Algebraic Methods by Carnielli, Walter; Rodrigues, Abilio;

    Essays in Honor of Marcelo Esteban Coniglio

    Sorozatcím: Logic, Epistemology, and the Unity of Science;

      • 15% KEDVEZMÉNY?

      • A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
      • Kiadói listaár EUR 149.79
      • Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

        58 507 Ft (55 721 Ft + 5% áfa)
      • Kedvezmény(ek) 12% (kb. 7 021 Ft)
      • Kedvezményes ár 51 486 Ft (49 034 Ft + 5% áfa)

    51 486 Ft

    db

    Beszerezhetőség

    Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.

    Why don't you give exact delivery time?

    A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.

    A termék adatai:

    • Kiadó Springer Nature Switzerland
    • Megjelenés dátuma 2026. szeptember 20.

    • ISBN 9783032286864
    • Kötéstípus Keménykötés
    • Terjedelem488 oldal
    • Méret 235x155 mm
    • Nyelv angol
    • Illusztrációk II, 488 p.
    • 700

    Kategóriák

    Hosszú leírás:

    This volume brings together original contributions in algebraic logic, semantics, and a broad range of topics in non-classical logics. It offers a pluralistic perspective on contemporary logical research, encompassing developments in modal and higher-order frameworks, as well as paraconsistent, intuitionistic, and multivalued logics. The contributions place particular emphasis on semantic methods and algebraic structures, while also engaging with proof-theoretical and model-theoretical approaches, including a variety of consequence relations. Covering topics such as novel semantic frameworks, algebraic characterizations, and formal systems, the volume reflects the diversity and ongoing development of research in non-classical logics.
    By gathering both established and emerging scholars, it provides a snapshot of current work at the intersection of algebra, semantics, and logical theory, and will be of interest to researchers and advanced students seeking a deeper understanding of contemporary developments across a wide spectrum of logical systems and methodologies.

    Több

    Tartalomjegyzék:

    Marcelo Coniglio at the Intersection of Logic,Semantics, and Algebra.- On Filter Pairs and Algebraic Logic.- Entailment in ST.- Rediscovering partial non-deterministic logical matrices.- Is Numerical Cognition Cognition of Natural Numbers?.- Computational Manifolds and Sheaf Theory: A geometric view of computability and Church-Turing Thesis.- Ivan Orlov: Relevance, Intuitionism, Modality, and Paraconsistency.- Postscript: “Univocity of Intuitionistic and Classical Connectives”.- Tense distributive lattices: algebra, logic and topology.- RECOVERY OPERATORS IN QUASI-NELSON LOGIC.- THE MINIMALITY OF FIRST-ORDER LOGIC.- REGULAR NON-NORMAL MODAL CLASSICALITIES.- Discernment is all you need.- Tableau systems for conjunction variants of discussive logic.- A Note on Lattices with a Symmetric Difference Like Operation.- Valuation semantics for failed axiomatizations of K and E.- â„“-GROUPS, MV-ALGEBRAS, AF-ALGEBRAS.- Glivenko’s theorems from an ecumenical perspective.- (Non)-deterministic and relational semantics for some alethic modal systems.- A Topos-Theoretical Route to Intuitionism.- On the collapse of classical and intuitionistic logics.- Solving a New Paradox of Deontic Logic (and a dozen other paradoxes) with RNmatrices for MC-based Modal Logics.





    Több
    0