Cover Image

G.W. Leibniz: from proving of logical rules and schemes to symbolic calculation of logic

Saved in:

Bibliographic Details
Date:	2017
Main Authors:	L. M. Shenherii, H. M. Boiko
Format:	Article
Language:	English
Published:	2017
Series:	Philosophical Horizons
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000827559
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Leibnitz&#039; logical ideas in the context of logical and rational model of cognitive processes
by: L. M. Shenherii
Published: (2012)

Methodology, logic, analytic in the classical European philosophy
by: L. M. Shenherii
Published: (2010)

Non-classical logic in the context of non-classical rationality
by: L. M. Shenherii
Published: (2010)

Logical and analytical reconstruction of formation Of mathematical paradigm (on example of creation Of non-euclidean geometries)
by: L. M. Shenherii
Published: (2017)

Methodological grounds for creation of an up-to-date textbook on logics for students of higher educational establishments
by: L. M. Shenherii
Published: (2013)

Symbolic logic: return to the origins. Raper III. Derivative logistic categories
by: Ya. O. Kokhan
Published: (2021)

The role of logic in the formation of logical culture of Lawyer
by: M. Protsenko
Published: (2014)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: O. S. Shkilniak
Published: (2017)

The philosophy of logic, philosophical logic, argumentation
by: O. Shcherbyna
Published: (2013)

Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

Relations of logical consequence in composition nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Logical consequence relations in logics of quasiary predicates
by: O. S. Shkilniak
Published: (2016)

7-values logics and logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
by: S. S. Shkilniak
Published: (2013)

Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)

Construction structural and logical scheme adressing formation of mechanisms management of natural resourses in Ukraine
by: V. V. Mykytenko
Published: (2017)

The cognitivization of logic or why it is now that logic needs support from cognitive science: historical and methodical analysis
by: N. O. Reva
Published: (2020)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
by: Shkilniak, О.S., et al.
Published: (2024)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: O. S. Shkilniak
Published: (2019)

Properties of the logical consequence operation and its relationship with the independence of propositional logic
by: T. Öner, et al.
Published: (2018)

Properties of the logical consequence operation and its relationship with the independence of propositional logic
by: Öner, G., et al.
Published: (2018)

Multi-algebras from the viewpoint of algebraic logic
by: Cırulis, J.
Published: (2003)

On the logic and natural language
by: V. Koseska-Tosheva
Published: (2011)

Economic world: logic
by: A. S. Filipenko
Published: (2021)

Спектральные и фотометрические наблюдения молодых звезд. I. GW Ориона
by: Исмаилов, Н.З.
Published: (1993)

On an asymptotic equality proved by Revers
by: O. V. Motorna, et al.
Published: (2022)

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

Partial predicates logics induced Kleene&#039;s three-valued logics
by: D. B. Buj, et al.
Published: (2015)

The Extended Leibniz Rule and Related Equations in the Space of Rapidly Decreasing Functions
by: König, Hermann, et al.
Published: (2018)

The Extended Leibniz Rule and Related Equations in the Space of Rapidly Decreasing Functions
by: König, Hermann, et al.
Published: (2018)

The Extended Leibniz Rule and Related Equations in the Space of Rapidly Decreasing Functions
by: H. König, et al.
Published: (2018)

Logic terminology: codification problem
by: A. Baumeister, et al.
Published: (2016)

New minimization method of logical functions in polynomial set-theoretical format. 1. Generalized rules of conjuncterms simplification
by: Rytsar, B.Ye.
Published: (2015)

New minimization method of logical functions in polynomial set-theoretical format. 1. Generalized rules of conjuncterms simplification
by: Ye. Rytsar
Published: (2015)

Instrumentariy creating business logic
by: Kozhaev, V. V.
Published: (2015)

Twofolded construction of dialectic logic
by: P. V. Denysiuk
Published: (2017)

Renominative logics of quasiary predicates
by: S. S. Shkilniak, et al.
Published: (2016)

Informal logic and real argument
by: I. Khomenko
Published: (2016)