tag :: logic | BibSonomy

bookmarks (hide)462
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1Why does all() return True if the iterable is empty? · The Ethically-Trained Programmer
https://blog.carlana.net/post/2020/python-square-of-opposition/
3 months ago by @bshanks
show all tags
aristotelian
aristotle
logic
squareofopposition
vacuous
aristotelianaristotlelogicsquareofoppositionvacuous
(0)
copydelete
- community post
- history of this post
1paradoxes - Is $B = \{x:x \notin B\}$ a valid paradox in Naive Set Theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1089224/is-b-xx-notin-b-a-valid-paradox-in-naive-set-theory?rq=1
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1soft question - complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4145833/complete-axiomatization-of-reals-vs-we-cant-prove-every-statement-about-the-rea
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg (JPEG Image, 880 × 880 pixels)
https://www.boredpanda.com/blog/wp-content/uploads/2022/06/Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg
2 years ago by @bshanks
show all tags
comic
logic
comiclogic
(0)
copydelete
- community post
- history of this post
1Wolfram Logic (@wolframlogic) | Zeneca
https://www.zeneca.io/wolframlogic
2 years ago by @bshanks
show all tags
logic
logic
(0)
copydelete
- community post
- history of this post
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
3 years ago by @bshanks
show all tags
logic
math
proof
toread
logicmathprooftoread
(0)
copydelete
- community post
- history of this post
1Proof Theory (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/proof-theory/
3 years ago by @bshanks
show all tags
logic
math
proof
logicmathproof
(0)
copydelete
- community post
- history of this post
2Dominic Hughes
http://boole.stanford.edu/~dominic/
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
proof
proofnet
cs353logicmathprattproofproofnet
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
http://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
concurrency
cs353
logic
math
pratt
concurrencycs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
3 years ago by @bshanks
show all tags
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic
http://ai.stanford.edu/~epacuit/classes/modal.html
3 years ago by @bshanks
show all tags
course
logic
math
modal
courselogicmathmodal
(0)
copydelete
- community post
- history of this post
1PHIL 169: Modal Logic Course Homepage
https://web.stanford.edu/class/phil169/coursework/syllabus.html
3 years ago by @bshanks
show all tags
benthem
course
logic
math
modal
stanford
benthemcourselogicmathmodalstanford
(0)
copydelete
- community post
- history of this post
1syl02.pdf
http://boole.stanford.edu/cs353/handouts/syl02.pdf
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
cs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Wayback Machine
https://web.archive.org/web/20210125162407/http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 years ago by @bshanks
show all tags
cs353b
logic
math
pratt
cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
https://web.archive.org/web/20210330171450/https://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
Glabbeek
logic
math
pratt
Glabbeeklogicmathpratt
(0)
copydelete
- community post
- history of this post
1CS352
Glabbeek
3 years ago by @bshanks
show all tags
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
copydelete
- community post
- history of this post
1CS 353 Autumn 2003-04 Handouts
https://web.archive.org/web/20190706060019/http://boole.stanford.edu/cs353/handouts.html
3 years ago by @bshanks
show all tags
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1cs353-02.pdf
http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 years ago by @bshanks
show all tags
algebraic
chu
cs353
cs353b
logic
math
pratt
algebraicchucs353cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)782
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Loading and Unloading by Pneumatic Arm Bot Using Programmable Logic Controller (PLC)
A. |. CENTRAL ASIAN JOURNAL OF THEORETICAL AND APPLIED SCIENCE, 4 (9): 59-85 (September 2023)
2 months ago by @centralasian_20
show all tags
(PLC)
Arm,
Bot,
Controller
Loading
Logic
Pneumatic
Programmable
Unloading,
and
(PLC)Arm,Bot,ControllerLoadingLogicPneumaticProgrammableUnloading,and
(0)
copydeleteadd this publication to your clipboard
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi. Central Asian Journal of Social Sciences and History, 4 (7): 126-128 (July 2023)
2 months ago by @centralasian_20
show all tags
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science,
scientist,
work,
art,literature,logicmathematics,music,peopleera,philosophy,research,science,scientist,work,
(0)
copydeleteadd this publication to your clipboard
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi |. CENTRAL ASIAN JOURNAL OF MEDICAL AND NATURAL SCIENCE, 4 (7): 126-128 (July 2023)
2 months ago by @centralasian_20
show all tags
,
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science
scientist,
work,
,art,literature,logicmathematics,music,peopleera,philosophy,research,sciencescientist,work,
(0)
copydeleteadd this publication to your clipboard
1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER
M. Lwin. Mechatronics and Applications: An International Journal (MECHATROJ), 2 (1): 01-12 (October 2018)
4 months ago by @clauren
show all tags
(FLC)
Boost
Centre
Control
Controller
Converter
DC-DC
Data
Double
Dual
Energy
Fuzzy
High
Logic
Mode
Renewable
Stage
System
Vehicle
Voltage
(FLC)BoostCentreControlControllerConverterDC-DCDataDoubleDualEnergyFuzzyHighLogicModeRenewableStageSystemVehicleVoltage
(0)
copydeleteadd this publication to your clipboard
1An Introduction to Mathematical Logic
A. Freund. (2023)cite arxiv:2310.09921.
6 months ago by @tabularii
show all tags
logic
mathematics
logicmathematics
(0)
copydeleteadd this publication to your clipboard
1A Modified Law of Profitable Investment
P. Sarkar. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 95-99 (August 2023)
7 months ago by @ijtsrd
show all tags
50,
BSE
Fuzzy
Intrinsic
S&P
SENSEX
Value,
data,
logic
50,BSEFuzzyIntrinsicS&PSENSEXValue,data,logic
(0)
copydeleteadd this publication to your clipboard
2Deriving sound inference rules for concept diagrams
P. Chapman, G. Stapleton, J. Howse, and I. Oliver. 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), page 87-94. (September 2011)
7 months ago by @jaeschke
show all tags
concept
diagram
euler
graph
inference
logic
reasoning
venn
visualization
conceptdiagrameulergraphinferencelogicreasoningvennvisualization
(0)
copydeleteadd this publication to your clipboard
1Modelling of Solar PV and Optimization of Chopper Based PV Array using Fuzzy Control System as Per Climatic Conditions
M. Verma. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 1077-1086 (June 2023)
9 months ago by @ijtsrd
show all tags
&
(FLC),Perturbation
(IGBT),
(MPPT),
(P&O)
(PWM),
(STATCOM),),
(THD),
Insulated
Maximum
Modulation
Observation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC),Perturbation(IGBT),(MPPT),(P&O)(PWM),(STATCOM),),(THD),InsulatedMaximumModulationObservationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Probability logic and probabilistic induction.
S. Greenland. Epidemiology (Cambridge, Mass.), 9 (3): 322-32 (May 1998)2502<m:linebreak></m:linebreak>Comment in: Epidemiology 1998 May;9(3):233;.
a year ago by @jepcastel
show all tags
EpidemiologicStudies
Humans
Logic
Models
ProbabilityTheory
ResearchDesign
Statistical
EpidemiologicStudiesHumansLogicModelsProbabilityTheoryResearchDesignStatistical
(0)
copydeleteadd this publication to your clipboard
1On the origin of Hill's causal criteria.
A. Morabia. Epidemiology (Cambridge, Mass.), 2 (5): 367-9 (September 1991)3207<m:linebreak></m:linebreak>Causalitat.
a year ago by @jepcastel
show all tags
17thCentury
20thCentury
Causality
Epidemiology
Epidemiology:history
History
Logic
Philosophy
17thCentury20thCenturyCausalityEpidemiologyEpidemiology:historyHistoryLogicPhilosophy
(0)
copydeleteadd this publication to your clipboard
1Looking back on "causal thinking in the health sciences".
J. Kaufman, and C. Poole. Annual review of public health, (January 2000)3644<m:linebreak></m:linebreak>Causalitat.
a year ago by @jepcastel
show all tags
Causality
Ecology
Epidemiology
Humans
Judgment
Logic
Medical
Models
Philosophy
PublicHealthPractice
Statistical
SystemsAnalysis
Thinking
CausalityEcologyEpidemiologyHumansJudgmentLogicMedicalModelsPhilosophyPublicHealthPracticeStatisticalSystemsAnalysisThinking
(0)
copydeleteadd this publication to your clipboard
1Argumentation and evidence.
R. Upshur, and E. Colak. Theoretical medicine and bioethics, 24 (4): 283-99 (January 2003)7285<m:linebreak></m:linebreak>LR: 20061115; JID: 9805378; ppublish;<m:linebreak></m:linebreak>EBM.
a year ago by @jepcastel
show all tags
DecisionMaking
Evidence-BasedMedicine
Humans
Hypertension
Hypertension:drugtherapy
Knowledge
Logic
DecisionMakingEvidence-BasedMedicineHumansHypertensionHypertension:drugtherapyKnowledgeLogic
(0)
copydeleteadd this publication to your clipboard
1Popperian refutation in epidemiology.
M. Maclure. American journal of epidemiology, 121 (3): 343-50 (March 1985)2888<m:linebreak></m:linebreak>Causalitat.
a year ago by @jepcastel
show all tags
Epidemiology
Humans
Logic
LungNeoplasms
LungNeoplasms:etiology
Medical
Philosophy
Smoking
EpidemiologyHumansLogicLungNeoplasmsLungNeoplasms:etiologyMedicalPhilosophySmoking
(0)
copydeleteadd this publication to your clipboard
1British Imperialism in Colonial Africa and the World
A. Rappa. BOHR International Journal of Social Science and Humanities Research, 1 (1): 93--97 (2022)
a year ago by @bijsshrjournal
show all tags
Africa
Colonial
Cultural
Interpretation
Logic
Symbolic
agency
imperialism
western
AfricaColonialCulturalInterpretationLogicSymbolicagencyimperialismwestern
(0)
copydeleteadd this publication to your clipboard
1Development of Logical Thinking in Elementary Mathematics Classes
I. Qizi. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (6): 1446-1450 (October 2022)
a year ago by @ijtsrd
show all tags
education
logic
logical
logicality
primary
task
thinking
educationlogiclogicallogicalityprimarytaskthinking
(0)
copydeleteadd this publication to your clipboard
1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System
S. Diwan. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 1157-1161 (July 2022)
2 years ago by @ijtsrd
show all tags
&
(FLC)
(IGBT)
(MPPT)
(P&O)
(PWM)
(STATCOM)
(THD)
)
Insulated
Maximum
Modulation
Observation
Perturbation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC)(IGBT)(MPPT)(P&O)(PWM)(STATCOM)(THD))InsulatedMaximumModulationObservationPerturbationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Analysis and Implementation of Fuzzy Logic Controller Based MPPT to Enhance Power Quality in PV System
A. Prajapati. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 724-733 (July 2022)
2 years ago by @ijtsrd
show all tags
(FIS)
(PV)
Boost
Controller
Converter
Fuzzy
Logic
MATLAB
MPPT
Simulink
Solar
(FIS)(PV)BoostControllerConverterFuzzyLogicMATLABMPPTSimulinkSolar
(0)
copydeleteadd this publication to your clipboard
1Advanced Pitch Angle Control Configuration of Wind Energy Conversion System with Different Control System Configuration
V. Gajpal. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 459-463 (July 2022)
2 years ago by @ijtsrd
show all tags
(FLC)
(IGBT)
(PMSG)
(Total
(static
Fuzzy
Insulated
Permanent
Pitch
STATCOM
THD
angle
bipolar
compensator)
controller
distortion)
gate
generator
harmonic
logic
magnet
synchronous
transistor
(FLC)(IGBT)(PMSG)(Total(staticFuzzyInsulatedPermanentPitchSTATCOMTHDanglebipolarcompensator)controllerdistortion)gategeneratorharmoniclogicmagnetsynchronoustransistor
(0)
copydeleteadd this publication to your clipboard
1Methods of Organizing Mental Arithmetic Lessons in Preschool Education
S. Mohinur. International Journal on Integrated Education, (2022)
2 years ago by @researchpark_20
show all tags
Analytical
Imagining
Logic
Mental
arithmetic
thinking
AnalyticalImaginingLogicMentalarithmeticthinking
(0)
copydeleteadd this publication to your clipboard
2F-802.11P: A Fuzzy Enhancement for IEEE 802.11P in Vehicle-to-Everything Communications
H. Sayedahmed, E. Elgamal, and H. Hefny. International Journal of Computer Networks & Communications (IJCNC), 14 (04): 19-40 (July 2022)
2 years ago by @laimbee
show all tags
802.11p
DSRC
Fuzzy
IEEE
logic
vehicle-to-everything
802.11pDSRCFuzzyIEEElogicvehicle-to-everything
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩