Back Lògica algebraica Catalan Logisk algebra Danish Algebraic logic English منطق جبری Persian Logique algébrique French Алгебралық логика Kazakh Алгебраїчна логіка Ukrainian 代数逻辑 Chinese 代數邏輯 ZH-YUE
la logica algebrica si concentra sull'identificazione e descrizione algebrica di modelli adatti allo studio di varie logiche (sotto forma di classi di algebre che costituiscono la semantica algebrica di questi sistemi deduttivi) e problemi connessi come la rappresentazione e la dualità.
La logica algebrica può essere divisa in due parti principali. La parte I studia le algebre che sono rilevanti per la logica, ad es. algebre ottenute dalla logica (in un modo o nell'altro). Poiché la Parte I studia l'algebra, i suoi metodi sono, fondamentalmente, algebrici. La Parte II si occupa dello studio e della costruzione del ponte tra l'algebra e la logica e si occupa della metodologia per risolvere i problemi logici (i) traducendoli in algebra (il processo di algebraizzazione), (ii) risolvendo il problema algebrico (questo in realtà appartiene alla Parte I), e (iii) ricondurre il risultato in logica.[1]
La logica algebrica tratta le strutture algebriche, come modelli di determinate logiche, rendendo la logica una branca della teoria dell'ordine.
- ^ H. Andréka, I. Németi & I. Sain "Algebraic Logic" in Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic vol 2. Springer 2001 ISBN 978-90-481-5753-2 pp 133–247